Gran: model checking grsecurity RBAC policies

机译：Gran：对grsecurity RBAC策略进行模型检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Marco Squarcina;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Model-driven specification and enforcement of RBAC break-glass policies for process-aware information systems [J] . Sigrid Schefer-Wenzl, Mark Strembeck Information and software technology . 2014,第10期

机译：基于模型的规范和对过程感知信息系统的RBAC防制眼镜策略的实施
2. An RBAC Model-Based Approach to Specify the Access Policies of Web-Based Emergency Information Systems [J] . Ignacio Aedo, Paloma Díaz, Daniel Sanz The International Journal of Intelligent Control and Systems . 2006,第4期

机译：基于RBAC模型的基于Web的紧急信息系统访问策略的指定方法
3. The RBAC Model Integrated with Policy in Grid Environment [J] . CHEN, Jiangang, WANG, 电子学报：英文版 . 2006,第004期

机译：网格环境下与策略集成的RBAC模型
4. Gran: Model Checking Grsecurity RBAC Policies [C] . Bugliesi Michele, Calzavara Stefano, Focardi Riccardo, 2012 IEEE 25th computer security foundations symposium . 2012

机译：Gran：模型检查Grsecurity RBAC策略
5. A model for efficient real-time distributed computing middleware incorporating a fine-grained program-segment-level deadline-based scheduling policy and an efficient checkpoint-based replication scheme. [D] . Li, Yuqing. 2005

机译：一种高效的实时分布式计算中间件的模型，该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
6. Enabling the Deployment of ABAC Policies in RBAC Systems [O] . Gunjan Batra, Vijayalakshmi Atluri, Jaideep Vaidya, -1

机译：在RBAC系统中启用ABAC策略的部署
7. Gran: model checking grsecurity RBAC policies [O] . BUGLIESI M., CALZAVARA S., FOCARDI R., 2012

机译：Gran：对grsecurity RBAC策略进行模型检查

Gran: model checking grsecurity RBAC policies

著录项

引文网络

相似文献

相关主题

期刊订阅